(False)  True 

latex

ProofTree

Definitions	P  Q, P & Q, P  Q, x:A. B(x), A, P  Q, False, t  T, True
Lemmas	true wf, false wf, not wf